Climate and garbage

Just Garbage

up decisions in­ politics. Institu­ tional discrimination e . ts in every social arena, in­ cluding environmental de . . on making. Burdens and benefits are not randomly d ·buted. Reliance solely on "objectiVe" science for e 'ronmental decision making-in a world shaped larg by power politics and special interests-often mas . titurtonal rac­ ism. For example, the assignment of" ptable" risk and ...

On Garbage and Program Logic

Garbage collection relieves the programmer of the burden of managing dynamically allocated memory, by providing an automatic way to reclaim unneeded storage. This eliminates or lessens program errors that arise from attempts to access disposed memory, and generally leads to simpler programs. One might therefore expect that reasoning about programs in garbage collected languages would be much ea...

SIGPLAN ACM Garbage In / Garbage Out March Möbius

Algorithms for extracting the roots of polynomials of the 2nd, 3rd and 4th degree are usually presented as cookbook recipes, with no insight about how such a recipe works or how it might have been discovered. This note shows how a clever high school student could use transformations (translation, scaling, rotation, inversion) of the complex plane to discover root-extraction methods for these po...

Proof Nets, Garbage, and Computations

We study the problem of local and asynchronous computation in the context of multiplicative exponential linear logic (MELL) proof nets. The main novelty is in a complete set of rewriting rules for cut-elimination in presence of weakening (which requires garbage collection). The proposed reduction system is strongly normalizing and confluent. Abstract: We study the problem of local and asynchron...

On Garbage and Program Logi